Overholonomicity of overconvergent F-isocrystals over smooth varieties
نویسندگان
چکیده
We prove the overholonomicity of overconvergent F-isocrystals over smooth varieties. This implies that the notions of overholonomicity and devissability in overconvergent F-isocrystals are equivalent. Then the overholonomicity is stable under tensor products. So, the overholonomicity gives a p-adic cohomology stable under Grothendieck’s cohomological operations.
منابع مشابه
Semistable reduction for overconvergent F -isocrystals, I: Unipotence and logarithmic extensions
Let X be a smooth variety over a field k of characteristic p > 0, and let E be an overconvergent isocrystal on X. We establish a criterion for the existence of a “canonical logarithmic extension” of E to a smooth compactification X of X whose complement is a strict normal crossings divisor. We also obtain some related results, including a form of Zariski-Nagata purity for isocrystals.
متن کاملMorphisms of F-isocrystals and the Finite Monodromy Theorem for Unit-root F-isocrystals
We discuss Tate-type problems for F-isocrystals, that is, the full faithfulness of the natural restriction functors between categories of overconvergent F-isocrystals on schemes of positive characteristic. We prove it in the cases of unit-root F-isocrystals. Using this result, we prove that an overconvergent unit-root F-isocrystal has a finite monodromy.
متن کاملSemistable reduction for overconvergent F -isocrystals on a curve
Let X be a smooth affine curve over a field k of characteristic p > 0 and E an overconvergent F a-isocrystal on X for some positive integer a. We prove that after replacing k by some finite purely inseparable extension, there exists a finite separable morphism X ′ → X, the pullback of E along which extends to a log-F a-isocrystal on a smooth compactification of X . This resolves a weak form of ...
متن کاملNotes on Isocrystals
For varieties over a perfect field of characteristic p, étale cohomology with Q`coefficients is a Weil cohomology theory only when ` 6= p; the corresponding role for ` = p is played by Berthelot’s rigid cohomology. In that theory, the coefficient objects analogous to lisse `-adic sheaves are the overconvergent F -isocrystals. This expository article is a brief user’s guide for these objects, in...
متن کاملSemistable Reduction of overconvergent F -isocrystals I: Isocrystals and Rigid Cohomology
Notation 1.1.2. By a k-variety, I meant a reduced (not necessarily irreducible) separated scheme of finite type over k. (It could be shown that the theory only depends on the reduced scheme structure.) Through out the talk, X will be an open subscheme of a k-variety Y and Z = X\Y is the complement with the reduced scheme structure. P will always denote a topologically finite type formal scheme ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008